first-order logic
一階述語論理
ACL2 — A Computational Logic for Applicative Common Lisp
Aristotelian logic
Equiconsistency
Ehrenfeucht-Fraisse game
Extension by definitions
Extension (predicate logic)
Herbrandization
List of logic symbols
Lojban
Löwenheim number
Nonfirstorderizability
Prenex normal form
Prior Analytics
Prolog
Relational algebra
Relational model
Skolem normal form
Tarski's World
Truth table
Type (model theory)
/suto3/google.iconfirst-order logic
/suto3/Google画像検索.iconfirst-order logic
/suto3/Google定義検索.icon first-order logic
/suto3/wikipedia.iconfirst-order logic
/suto3/weblio.icon first-order logic
/suto3/kotobank.icon first-order logic
/suto3/jisho.icon first-order logic